Optimal. Leaf size=173 \[ -\frac{d \log \left (\frac{a+b x}{c+d x}\right ) \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )}{g^2 i (b c-a d)^2}-\frac{b (c+d x) \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )}{g^2 i (a+b x) (b c-a d)^2}-\frac{b B (c+d x)}{g^2 i (a+b x) (b c-a d)^2}+\frac{B d \log ^2\left (\frac{a+b x}{c+d x}\right )}{2 g^2 i (b c-a d)^2} \]
[Out]
________________________________________________________________________________________
Rubi [C] time = 0.703046, antiderivative size = 437, normalized size of antiderivative = 2.53, number of steps used = 24, number of rules used = 11, integrand size = 40, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.275, Rules used = {2528, 2525, 12, 44, 2524, 2418, 2390, 2301, 2394, 2393, 2391} \[ -\frac{B d \text{PolyLog}\left (2,-\frac{d (a+b x)}{b c-a d}\right )}{g^2 i (b c-a d)^2}-\frac{B d \text{PolyLog}\left (2,\frac{b (c+d x)}{b c-a d}\right )}{g^2 i (b c-a d)^2}-\frac{d \log (a+b x) \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )}{g^2 i (b c-a d)^2}-\frac{B \log \left (\frac{e (a+b x)}{c+d x}\right )+A}{g^2 i (a+b x) (b c-a d)}+\frac{d \log (c+d x) \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )}{g^2 i (b c-a d)^2}-\frac{B}{g^2 i (a+b x) (b c-a d)}+\frac{B d \log ^2(a+b x)}{2 g^2 i (b c-a d)^2}+\frac{B d \log ^2(c+d x)}{2 g^2 i (b c-a d)^2}-\frac{B d \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{g^2 i (b c-a d)^2}-\frac{B d \log (a+b x)}{g^2 i (b c-a d)^2}-\frac{B d \log (c+d x) \log \left (-\frac{d (a+b x)}{b c-a d}\right )}{g^2 i (b c-a d)^2}+\frac{B d \log (c+d x)}{g^2 i (b c-a d)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2528
Rule 2525
Rule 12
Rule 44
Rule 2524
Rule 2418
Rule 2390
Rule 2301
Rule 2394
Rule 2393
Rule 2391
Rubi steps
\begin{align*} \int \frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{(36 c+36 d x) (a g+b g x)^2} \, dx &=\int \left (\frac{b \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{36 (b c-a d) g^2 (a+b x)^2}-\frac{b d \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{36 (b c-a d)^2 g^2 (a+b x)}+\frac{d^2 \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{36 (b c-a d)^2 g^2 (c+d x)}\right ) \, dx\\ &=-\frac{(b d) \int \frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{a+b x} \, dx}{36 (b c-a d)^2 g^2}+\frac{d^2 \int \frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{c+d x} \, dx}{36 (b c-a d)^2 g^2}+\frac{b \int \frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{(a+b x)^2} \, dx}{36 (b c-a d) g^2}\\ &=-\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{36 (b c-a d) g^2 (a+b x)}-\frac{d \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{36 (b c-a d)^2 g^2}+\frac{d \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{36 (b c-a d)^2 g^2}+\frac{(B d) \int \frac{(c+d x) \left (-\frac{d e (a+b x)}{(c+d x)^2}+\frac{b e}{c+d x}\right ) \log (a+b x)}{e (a+b x)} \, dx}{36 (b c-a d)^2 g^2}-\frac{(B d) \int \frac{(c+d x) \left (-\frac{d e (a+b x)}{(c+d x)^2}+\frac{b e}{c+d x}\right ) \log (c+d x)}{e (a+b x)} \, dx}{36 (b c-a d)^2 g^2}+\frac{B \int \frac{b c-a d}{(a+b x)^2 (c+d x)} \, dx}{36 (b c-a d) g^2}\\ &=-\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{36 (b c-a d) g^2 (a+b x)}-\frac{d \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{36 (b c-a d)^2 g^2}+\frac{d \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{36 (b c-a d)^2 g^2}+\frac{B \int \frac{1}{(a+b x)^2 (c+d x)} \, dx}{36 g^2}+\frac{(B d) \int \frac{(c+d x) \left (-\frac{d e (a+b x)}{(c+d x)^2}+\frac{b e}{c+d x}\right ) \log (a+b x)}{a+b x} \, dx}{36 (b c-a d)^2 e g^2}-\frac{(B d) \int \frac{(c+d x) \left (-\frac{d e (a+b x)}{(c+d x)^2}+\frac{b e}{c+d x}\right ) \log (c+d x)}{a+b x} \, dx}{36 (b c-a d)^2 e g^2}\\ &=-\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{36 (b c-a d) g^2 (a+b x)}-\frac{d \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{36 (b c-a d)^2 g^2}+\frac{d \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{36 (b c-a d)^2 g^2}+\frac{B \int \left (\frac{b}{(b c-a d) (a+b x)^2}-\frac{b d}{(b c-a d)^2 (a+b x)}+\frac{d^2}{(b c-a d)^2 (c+d x)}\right ) \, dx}{36 g^2}+\frac{(B d) \int \left (\frac{b e \log (a+b x)}{a+b x}-\frac{d e \log (a+b x)}{c+d x}\right ) \, dx}{36 (b c-a d)^2 e g^2}-\frac{(B d) \int \left (\frac{b e \log (c+d x)}{a+b x}-\frac{d e \log (c+d x)}{c+d x}\right ) \, dx}{36 (b c-a d)^2 e g^2}\\ &=-\frac{B}{36 (b c-a d) g^2 (a+b x)}-\frac{B d \log (a+b x)}{36 (b c-a d)^2 g^2}-\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{36 (b c-a d) g^2 (a+b x)}-\frac{d \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{36 (b c-a d)^2 g^2}+\frac{B d \log (c+d x)}{36 (b c-a d)^2 g^2}+\frac{d \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{36 (b c-a d)^2 g^2}+\frac{(b B d) \int \frac{\log (a+b x)}{a+b x} \, dx}{36 (b c-a d)^2 g^2}-\frac{(b B d) \int \frac{\log (c+d x)}{a+b x} \, dx}{36 (b c-a d)^2 g^2}-\frac{\left (B d^2\right ) \int \frac{\log (a+b x)}{c+d x} \, dx}{36 (b c-a d)^2 g^2}+\frac{\left (B d^2\right ) \int \frac{\log (c+d x)}{c+d x} \, dx}{36 (b c-a d)^2 g^2}\\ &=-\frac{B}{36 (b c-a d) g^2 (a+b x)}-\frac{B d \log (a+b x)}{36 (b c-a d)^2 g^2}-\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{36 (b c-a d) g^2 (a+b x)}-\frac{d \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{36 (b c-a d)^2 g^2}+\frac{B d \log (c+d x)}{36 (b c-a d)^2 g^2}-\frac{B d \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x)}{36 (b c-a d)^2 g^2}+\frac{d \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{36 (b c-a d)^2 g^2}-\frac{B d \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{36 (b c-a d)^2 g^2}+\frac{(B d) \operatorname{Subst}\left (\int \frac{\log (x)}{x} \, dx,x,a+b x\right )}{36 (b c-a d)^2 g^2}+\frac{(B d) \operatorname{Subst}\left (\int \frac{\log (x)}{x} \, dx,x,c+d x\right )}{36 (b c-a d)^2 g^2}+\frac{(b B d) \int \frac{\log \left (\frac{b (c+d x)}{b c-a d}\right )}{a+b x} \, dx}{36 (b c-a d)^2 g^2}+\frac{\left (B d^2\right ) \int \frac{\log \left (\frac{d (a+b x)}{-b c+a d}\right )}{c+d x} \, dx}{36 (b c-a d)^2 g^2}\\ &=-\frac{B}{36 (b c-a d) g^2 (a+b x)}-\frac{B d \log (a+b x)}{36 (b c-a d)^2 g^2}+\frac{B d \log ^2(a+b x)}{72 (b c-a d)^2 g^2}-\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{36 (b c-a d) g^2 (a+b x)}-\frac{d \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{36 (b c-a d)^2 g^2}+\frac{B d \log (c+d x)}{36 (b c-a d)^2 g^2}-\frac{B d \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x)}{36 (b c-a d)^2 g^2}+\frac{d \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{36 (b c-a d)^2 g^2}+\frac{B d \log ^2(c+d x)}{72 (b c-a d)^2 g^2}-\frac{B d \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{36 (b c-a d)^2 g^2}+\frac{(B d) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{d x}{b c-a d}\right )}{x} \, dx,x,a+b x\right )}{36 (b c-a d)^2 g^2}+\frac{(B d) \operatorname{Subst}\left (\int \frac{\log \left (1+\frac{b x}{-b c+a d}\right )}{x} \, dx,x,c+d x\right )}{36 (b c-a d)^2 g^2}\\ &=-\frac{B}{36 (b c-a d) g^2 (a+b x)}-\frac{B d \log (a+b x)}{36 (b c-a d)^2 g^2}+\frac{B d \log ^2(a+b x)}{72 (b c-a d)^2 g^2}-\frac{A+B \log \left (\frac{e (a+b x)}{c+d x}\right )}{36 (b c-a d) g^2 (a+b x)}-\frac{d \log (a+b x) \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right )}{36 (b c-a d)^2 g^2}+\frac{B d \log (c+d x)}{36 (b c-a d)^2 g^2}-\frac{B d \log \left (-\frac{d (a+b x)}{b c-a d}\right ) \log (c+d x)}{36 (b c-a d)^2 g^2}+\frac{d \left (A+B \log \left (\frac{e (a+b x)}{c+d x}\right )\right ) \log (c+d x)}{36 (b c-a d)^2 g^2}+\frac{B d \log ^2(c+d x)}{72 (b c-a d)^2 g^2}-\frac{B d \log (a+b x) \log \left (\frac{b (c+d x)}{b c-a d}\right )}{36 (b c-a d)^2 g^2}-\frac{B d \text{Li}_2\left (-\frac{d (a+b x)}{b c-a d}\right )}{36 (b c-a d)^2 g^2}-\frac{B d \text{Li}_2\left (\frac{b (c+d x)}{b c-a d}\right )}{36 (b c-a d)^2 g^2}\\ \end{align*}
Mathematica [C] time = 0.298984, size = 292, normalized size = 1.69 \[ -\frac{-B d (a+b x) \left (\log (a+b x) \left (\log (a+b x)-2 \log \left (\frac{b (c+d x)}{b c-a d}\right )\right )-2 \text{PolyLog}\left (2,\frac{d (a+b x)}{a d-b c}\right )\right )+B d (a+b x) \left (2 \text{PolyLog}\left (2,\frac{b (c+d x)}{b c-a d}\right )+\log (c+d x) \left (2 \log \left (\frac{d (a+b x)}{a d-b c}\right )-\log (c+d x)\right )\right )+2 (b c-a d) \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )+2 d (a+b x) \log (a+b x) \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )-2 d (a+b x) \log (c+d x) \left (B \log \left (\frac{e (a+b x)}{c+d x}\right )+A\right )+2 B (-d (a+b x) \log (c+d x)+d (a+b x) \log (a+b x)-a d+b c)}{2 g^2 i (a+b x) (b c-a d)^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.056, size = 605, normalized size = 3.5 \begin{align*} -{\frac{{d}^{2}Aa}{i \left ( ad-bc \right ) ^{3}{g}^{2}}\ln \left ({\frac{be}{d}}+{\frac{e \left ( ad-bc \right ) }{ \left ( dx+c \right ) d}} \right ) }+{\frac{dAbc}{i \left ( ad-bc \right ) ^{3}{g}^{2}}\ln \left ({\frac{be}{d}}+{\frac{e \left ( ad-bc \right ) }{ \left ( dx+c \right ) d}} \right ) }-{\frac{deAba}{i \left ( ad-bc \right ) ^{3}{g}^{2}} \left ({\frac{be}{d}}+{\frac{ae}{dx+c}}-{\frac{bec}{ \left ( dx+c \right ) d}} \right ) ^{-1}}+{\frac{eA{b}^{2}c}{i \left ( ad-bc \right ) ^{3}{g}^{2}} \left ({\frac{be}{d}}+{\frac{ae}{dx+c}}-{\frac{bec}{ \left ( dx+c \right ) d}} \right ) ^{-1}}-{\frac{{d}^{2}Ba}{2\,i \left ( ad-bc \right ) ^{3}{g}^{2}} \left ( \ln \left ({\frac{be}{d}}+{\frac{e \left ( ad-bc \right ) }{ \left ( dx+c \right ) d}} \right ) \right ) ^{2}}+{\frac{dBbc}{2\,i \left ( ad-bc \right ) ^{3}{g}^{2}} \left ( \ln \left ({\frac{be}{d}}+{\frac{e \left ( ad-bc \right ) }{ \left ( dx+c \right ) d}} \right ) \right ) ^{2}}-{\frac{deBba}{i \left ( ad-bc \right ) ^{3}{g}^{2}}\ln \left ({\frac{be}{d}}+{\frac{e \left ( ad-bc \right ) }{ \left ( dx+c \right ) d}} \right ) \left ({\frac{be}{d}}+{\frac{ae}{dx+c}}-{\frac{bec}{ \left ( dx+c \right ) d}} \right ) ^{-1}}+{\frac{eB{b}^{2}c}{i \left ( ad-bc \right ) ^{3}{g}^{2}}\ln \left ({\frac{be}{d}}+{\frac{e \left ( ad-bc \right ) }{ \left ( dx+c \right ) d}} \right ) \left ({\frac{be}{d}}+{\frac{ae}{dx+c}}-{\frac{bec}{ \left ( dx+c \right ) d}} \right ) ^{-1}}-{\frac{deBba}{i \left ( ad-bc \right ) ^{3}{g}^{2}} \left ({\frac{be}{d}}+{\frac{ae}{dx+c}}-{\frac{bec}{ \left ( dx+c \right ) d}} \right ) ^{-1}}+{\frac{eB{b}^{2}c}{i \left ( ad-bc \right ) ^{3}{g}^{2}} \left ({\frac{be}{d}}+{\frac{ae}{dx+c}}-{\frac{bec}{ \left ( dx+c \right ) d}} \right ) ^{-1}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.30179, size = 572, normalized size = 3.31 \begin{align*} -B{\left (\frac{1}{{\left (b^{2} c - a b d\right )} g^{2} i x +{\left (a b c - a^{2} d\right )} g^{2} i} + \frac{d \log \left (b x + a\right )}{{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} g^{2} i} - \frac{d \log \left (d x + c\right )}{{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} g^{2} i}\right )} \log \left (\frac{b e x}{d x + c} + \frac{a e}{d x + c}\right ) - A{\left (\frac{1}{{\left (b^{2} c - a b d\right )} g^{2} i x +{\left (a b c - a^{2} d\right )} g^{2} i} + \frac{d \log \left (b x + a\right )}{{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} g^{2} i} - \frac{d \log \left (d x + c\right )}{{\left (b^{2} c^{2} - 2 \, a b c d + a^{2} d^{2}\right )} g^{2} i}\right )} + \frac{{\left ({\left (b d x + a d\right )} \log \left (b x + a\right )^{2} +{\left (b d x + a d\right )} \log \left (d x + c\right )^{2} - 2 \, b c + 2 \, a d - 2 \,{\left (b d x + a d\right )} \log \left (b x + a\right ) + 2 \,{\left (b d x + a d -{\left (b d x + a d\right )} \log \left (b x + a\right )\right )} \log \left (d x + c\right )\right )} B}{2 \,{\left (a b^{2} c^{2} g^{2} i - 2 \, a^{2} b c d g^{2} i + a^{3} d^{2} g^{2} i +{\left (b^{3} c^{2} g^{2} i - 2 \, a b^{2} c d g^{2} i + a^{2} b d^{2} g^{2} i\right )} x\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 0.509202, size = 329, normalized size = 1.9 \begin{align*} -\frac{2 \,{\left (A + B\right )} b c - 2 \,{\left (A + B\right )} a d +{\left (B b d x + B a d\right )} \log \left (\frac{b e x + a e}{d x + c}\right )^{2} + 2 \,{\left ({\left (A + B\right )} b d x + B b c + A a d\right )} \log \left (\frac{b e x + a e}{d x + c}\right )}{2 \,{\left ({\left (b^{3} c^{2} - 2 \, a b^{2} c d + a^{2} b d^{2}\right )} g^{2} i x +{\left (a b^{2} c^{2} - 2 \, a^{2} b c d + a^{3} d^{2}\right )} g^{2} i\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [B] time = 3.0551, size = 386, normalized size = 2.23 \begin{align*} - \frac{B d \log{\left (\frac{e \left (a + b x\right )}{c + d x} \right )}^{2}}{2 a^{2} d^{2} g^{2} i - 4 a b c d g^{2} i + 2 b^{2} c^{2} g^{2} i} + \frac{B \log{\left (\frac{e \left (a + b x\right )}{c + d x} \right )}}{a^{2} d g^{2} i - a b c g^{2} i + a b d g^{2} i x - b^{2} c g^{2} i x} + \left (A + B\right ) \left (\frac{d \log{\left (x + \frac{- \frac{a^{3} d^{4}}{\left (a d - b c\right )^{2}} + \frac{3 a^{2} b c d^{3}}{\left (a d - b c\right )^{2}} - \frac{3 a b^{2} c^{2} d^{2}}{\left (a d - b c\right )^{2}} + a d^{2} + \frac{b^{3} c^{3} d}{\left (a d - b c\right )^{2}} + b c d}{2 b d^{2}} \right )}}{g^{2} i \left (a d - b c\right )^{2}} - \frac{d \log{\left (x + \frac{\frac{a^{3} d^{4}}{\left (a d - b c\right )^{2}} - \frac{3 a^{2} b c d^{3}}{\left (a d - b c\right )^{2}} + \frac{3 a b^{2} c^{2} d^{2}}{\left (a d - b c\right )^{2}} + a d^{2} - \frac{b^{3} c^{3} d}{\left (a d - b c\right )^{2}} + b c d}{2 b d^{2}} \right )}}{g^{2} i \left (a d - b c\right )^{2}} + \frac{1}{a^{2} d g^{2} i - a b c g^{2} i + x \left (a b d g^{2} i - b^{2} c g^{2} i\right )}\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{B \log \left (\frac{{\left (b x + a\right )} e}{d x + c}\right ) + A}{{\left (b g x + a g\right )}^{2}{\left (d i x + c i\right )}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]